Basilio Sabazio was the first in Italy to argue for the unity and corruptibility of either sublunar or celestial matter. In this paper new insight of his intellectual activity between Napoli and Milano is provided, and in particular his relationship with Scipione Capece, from whose letter to Giovan Francesco di Capua, Count of Palena we learn that Sabazio was an expert in philology and astronomy. The surviving part of an essay by Sabazio to the astronomer Francesco Cigalini from (...) Como is here edited with some informations about Cigalini’s reply. A newly recovered Sabazio’s astronomical work is here edited – from which his endorsement of Eraclides Ponticus’ astronomical system is evident –, as well as his Consilium to Pope Paolo III about the urgency of convening a general council. (shrink)

Il breve saggio si propone di esaminare la centralità della figura materna nell’opera di un ingegnoso costruttore di storie della letteratura italiana del Novecento: Alberto Moravia. La scelta dell’Autore nasce dalla rilevanza della tematica nella sua opera, in cui peraltro è quasi sempre assente il punto di vista femminile delle “voci” delle donne. Ciò sembra paradossale e questa circostanza è di grande interesse critico. In particolare, a dispetto delle interpretazioni più canoniche, secondo cui Moravia – negli scritti realizzati tra il (...) 1929 e il 1964 – ha inteso compiere una “distruzione” dell’immagine materna nel quadro di una visione pessimista della famiglia borghese, dovremo considerare un più complesso e articolato universo materno nello scrittore romano, in cui è possibile ricostruire cinque modelli – la “madre autoritaria”, la “madre-non madre”, la “madre padrona”, la “madre-angelo custode” e la “madre-seduttrice” –, ben esemplificati nei principali romanzi ma che si ritrovano nei racconti che Moravia scrive ininterrottamente dagli anni Trenta agli anni Sessanta, la cui mole ha determinato, ancor oggi, una mancanza di studi sistematici. In secondo luogo, la tematica della madre sarà esaminata nelle trasposizioni cinematografiche italiane delle opere letterarie di Moravia. Va ricordato che il rapporto dello scrittore con il cinema fu particolarmente intenso. Per un verso, la “settima arte” rivestì un ruolo non secondario nella formazione ed esperienza estetica dell’Autore romano, che al cinema si interessò anche professionalmente nelle vesti di critico cinematografico, a partire dal primo dopoguerra, dapprima, per La nuova Europa e Libera stampa, poi, per L’Europeo e L’Espresso, a cui dobbiamo aggiungere l’attività di saggista per numerose riviste specializzate. Per altro verso, il cinema italiano non solo ha attinto a “mani basse” dall’opera di Moravia per sceneggiature di pellicole, che furono pietre miliari della sua storia. L’elenco dei romanzi e racconti adattati al grande schermo rende conto della grande influenza nella cultura italiana degli anni Cinquanta e Sessanta: La provinciale (1953) di Mario Soldati, La romana (1954) di Luigi Zampa, Peccato che sia una canaglia (1954) di Alessandro Blasetti, Racconti romani (1955) di Gianni Franciolini, La ciociara (1960) di Vittorio de Sica, La giornata balorda (1960) di Mauro Bolognini, Risate di gioia (1960) di Mario Monicelli, Agostino (o la perdita dell’innocenza) (1962) di Mauro Bolognini, La noia (1963) di Damiano Damiani, Gli indifferenti (1964) di Francesco Maselli, Le ore nude (1964) di Marco Vicario, La donna invisibile (1969) di Paolo Spinola, Una ragazza piuttosto complicata (1969) di Damiano Damiani, L’amore coniugale (1970) di Dacia Maraini, Il conformista (1970) di Bernardo Bertolucci, e molti altri ancora. Come avremo modo soltanto di accennare, il successo della letteratura moraviana nel mondo del cinema italiano si deve a molteplici fattori, tra cui la raffigurazione dei personaggi e degli ambienti, la focalizzazione su certe tematiche e, non da ultimo, lo stile narrativo, particolarmente adatto alle trasposizioni cinematografiche. Come caso di studio, ci soffermeremo, infine, sulla figura materna della versione filmica de La noia di Damiani, con l’obiettivo di verificare se nel passaggio dal libro alla pellicola, quella particolare connotazione della madre autoritaria abbia subito delle alterazioni. L’ipotesi che muove l’analisi è che la stesura delle sceneggiature, la raffigurazione dei personaggi e la messa in scena delle sequenze filmiche facciano emergere un riadattamento adeguato al largo pubblico, con il sovvertimento dell’andamento cronologico, alcune “lacune” di ordine psicologico nella raffigurazione dei protagonisti e un certo cedimento moralistico alla cultura ancora dominante negli anni ’50 e ’60, in cui la figura materna, sia quando è incattivita dalla povertà che quando è inaridita dalla ricchezza, anela comunque agli affetti familiari, trovando in essi una qualche forma di redenzione. (shrink)

Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian worlds, and impossibilities are represented as set-theoretic constructions (...) out of them. This hybrid account (1) distinguishes many intuitively distinct impossible propositions; (2) identifies impossible propositions with extensional constructions; (3) avoids resorting to primitive modality, at least so far as Lewisian modal realism does. (shrink)

There is some consensus on the claim that imagination as suppositional thinking can have epistemic value insofar as it’s constrained by a principle of minimal alteration of how we know or believe reality to be – compatibly with the need to accommodate the supposition initiating the imaginative exercise. But in the philosophy of imagination there is no formally precise account of how exactly such minimal alteration is to work. I propose one. I focus on counterfactual imagination, arguing that this can (...) be modeled as simulated belief revision governed by Laplacian imaging. So understood, it can be rationally justified by accuracy considerations: it minimizes expected belief inaccuracy, as measured by the Brier score. (shrink)

We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit via (...) two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect. 2, we introduce the standard distinction between internal and external fictional discourse. In Sects. 3–5, we discuss the approaches of (traditional) Meinongianism, Fictionalism, and Realism—and their main troubles. In Sect. 6 we propose our MMM approach. This is based upon (1) a modal semantics including impossible worlds (Subsect. 6.1); (2) a qualified Comprehension Principle for objects (Subsect. 6.2); (3) a notion of existence-entailment for properties (Subsect. 6.3). In Sect. 7 we present a formal semantics for MMM based upon a representation operator. And in Sect. 8 we have a look at how MMM solves the problems of the three aforementioned theories. (shrink)

The literature on indicative conditionals contains two appealing views. The first is the selectional view: on this view, conditionals operate by selecting a single possibility, which is used to evaluate the consequent. The second is the informational view: on this view, conditionals don’t express propositions, but rather impose constraints on information states of speakers. Both views are supported by strong arguments, but they are incompatible on their standard formulations. Hence it appears that we have to choose between mutually exclusive options. (...) But the options are not exclusive. This paper develops a theory of the semantics and assertability of conditionals that is both selectional and informational. The theory vindicates the signature inferences of both selectional and informational theories, including so-called Conditionals Excluded Middle and principles about the interplay between conditionals and ‘might’. It also predicts some interesting and puzzling facts about the assertion of conditionals. (shrink)

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

Kant’s view of human beings is, as much of his philosophy, notoriously based on the dichotomy between the phenomenal and the noumenal world. This dichotomy digs a rift across human nature by separating the animal and the rational parts of it, their heteronomous and autonomous components, their sense of duty and their self-love. Human beings, for Kant, inhabit both worlds. On the one hand, even if we agree with Kant that the fundamental moral norms are constitutive of our rational and (...) autonomous agency and therefore inescapable, it remains unclear whether and how far these norms can motivate finite and heteronomous human beings, normally concerned with their own ends, interests and inclinations. On the other hand, although moral actions may express who we really are as rational beings, they may nonetheless leave us with an unfulfilled but legitimate need to reconcile morality with our own ends as finite, animal beings, inevitably concerned with living our own lives. Sasha Mudd described these phenomena as two forms of alienation: moral alienation (the estrangement of the heteronomous agent, motivated by happiness and inclinations, from a morality perceived as alien, foreign, and hardly motivating) and practical alienation (the estrangement of the autonomous moral agent from her empirical and heteronomous dimension – her projects, desires, aspirations, inclinations, and so on). On Mudd’s account, Kant successfully escape the first kind of alienation through his doctrine of respect. Here I argue, contra Mudd, that there are at least two ways in which Kant leaves moral agents alienated from morality itself. (shrink)

I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...) conditionals, the closest worlds are relevantly closest belief-worlds: closest to how things are believed to be, rather than to how they are. Also, closeness takes into account apriority and the opacity of intentional contexts. (shrink)

Pragmatic vindicatory genealogies provide both a cause and a rationale and can thus affect the space of reasons. But how far is the space of reasons affected by this kind of genealogical argument? What normative and evaluative implications do these arguments have? In this paper, I unpack this issue into three different sub-questions and explain what kinds of reasons they provide, for whom are these reasons, and for what. In relation to this final sub-question I argue, most importantly, that these (...) arguments are ambiguous about what they give us reasons for, meaning that they can be interpreted both as justifications for recognizing the normative standing of certain norms, values, and practices - and thus for living by them - and as excuses for those that do so. I illustrate this point by reference to the genealogical vindication of honour cultures, showing how the vindicatory argument can illuminate such case as one of excusing moral ignorance. Drawing on legal theory and moral philosophy, I show that different evaluative and normative implications hang on the result of the interpretation as either justification or excuse, and show that this ambiguity is a virtue rather than a limitation. (shrink)

We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...) We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

_Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research attention. We introduce (...) a class of models featuring (i) and (ii) to represent, and reason about, agents whose belief states can be subject to framing effects. We axiomatize a logic which we prove to be sound and complete with respect to the class. (shrink)

We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

Large Language Models (LLMs) are generative AI systems capable of producing original texts based on inputs about topic and style provided in the form of prompts or questions. The introduction of the outputs of these systems into human discursive practices poses unprecedented moral and political questions. The article articulates an analysis of the moral status of these systems and their interactions with human interlocutors based on the Habermasian theory of communicative action. The analysis explores, among other things, Habermas's inquiries into (...) the analogy between human minds and computers, and into the status of atypical participants in the linguistic community such as genetically modified subjects and animals. Major conclusions are the LLMs seem to qualify as authors that originally participate in discursive practices but do display only a structurally derivative form of communicative competence and fail to meet the status of communicative agents. In this sense, while the contribution of AI writing systems in public discourse and deliberation can support the process of mutual understanding within the community of speakers, the human actors involved in the development, use, and diffusion of these systems share a collective responsibility for the disclosure of AI authorship and verification and adjudication of validity claims. (shrink)

An overview of hyperintensionality is provided. Hyperintensional languages have expressions with meanings that are more fine-grained than necessary equivalence. That is, the expressions may necessarily co-apply and yet be distinct in meaning. Adequately accounting for theories cast in hyperintensional languages is important in the philosophy of language; the philosophy of mind; metaphysics; and elsewhere. This entry presents a number of areas in which hyperintensionality is important; a range of approaches to theorising about hyperintensional matters; and a range of debates that (...) attention to hyperintensional constructions has generated. (shrink)

The Humean view that conceivability entails possibility can be criticized via input from cognitive psychology. A mainstream view here has it that there are two candidate codings for mental representations (one of them being, according to some, reducible to the other): the linguistic and the pictorial, the difference between the two consisting in the degree of arbitrariness of the representation relation. If the conceivability of P at issue for Humeans involves the having of a linguistic mental representation, then it is (...) easy to show that we can conceive the impossible, for impossibilities can be represented by meaningful bits of language. If the conceivability of P amounts to the pictorial imaginability of a situation verifying P, then the question is whether the imagination at issue works purely qualitatively, that is, only by phenomenological resemblance with the imagined scenario. If so, the range of situations imaginable in this way is too limited to have a significant role in modal epistemology. If not, imagination will involve some arbitrary labeling component, which turns out to be sufficient for imagining the impossible. And if the relevant imagination is neither linguistic nor pictorial, Humeans will appear to resort to some representational magic, until they come up with a theory of a ‘third code’ for mental representations. (shrink)

Philosophical dialetheism, whose main exponent is Graham Priest, claims that some contradictions hold, are true, and it is rational to accept and assert them. Such a position is naturally portrayed as a challenge to the Law of Non-Contradiction (LNC). But all the classic formulations of the LNC are, in a sense, not questioned by a typical dialetheist, since she is (cheerfully) required to accept them by her own theory. The goal of this paper is to develop a formulation of the (...) Law which appears to be unquestionable, in the sense that the Priestian dialetheist is committed to accept it without also accepting something inconsistent with it, on pain of trivialism—that is to say, on pain of lapsing into the position according to which everything is the case. This will be achieved via (a) a discussion of Priest's dialetheic treatment of the notions of rejection and denial; and (b) the characterization of a negation via the primitive intuition of content exclusion. Such a result will not constitute a cheap victory for the friends of consistency. We may just learn that different things have been historically conflated under the label of 'Law of Non-Contradiction'; that dialetheists rightly attack some formulations of the Law, and orthodox logicians and philosophers have been mistaken in assimilating them to the indisputable one. (shrink)

Recent crises in Europe and beyond have renewed a longstanding debate on the status and treatment of refugees. Hannah Arendt famously questioned the limits of universalistic human rights discourse based on the widespread phenomena of statelessness and displacement that emerged during and after World War II. In this paper, we analyze recent patterns of inclusion and exclusion of refugees in Italy through the lens of Arendtian narrative and theorizing. We consider three cases of interaction between families, schools, and other public (...) institutions in light of the shifting normative framework before and during the war in Ukraine. Two major insights emerge from this analysis. From a pedagogical point of view, the most promising educational practices with refugees are those centered on enabling their agency and corresponding experiences of "natality". From an ethical-political perspective, these practices highlight a latent tension between the universalistic scope of human rights enshrined in the human rights declarations and their structural dependence on the particular norms and procedures enacted by nation states. The understanding and teaching of human rights within our political communities is inseparable from the practices that engage with refugees. In this sense, our practices of inclusion and exclusion affect the understanding of national borders as a barrier or threshold with other political communities, but also the interpretation of our own ethical-political principles. (shrink)

An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...) with some intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question. (shrink)

In this essay I intend to analyze the issue of good government in the works of Adam Smith, the importance of which seems to have not received due attention. The reconstruction is driven by three hermeneutical hypotheses concerning the role played by the idea of good government in the development of Smith's speculation: 1) the «good government» has a synthetic character, holding together the different aspects – moral, legal, economic and political – of his reflection; 2) it emerges against the (...) backdrop of the first acquisitions of the Theory of Moral Sentiments about the ‘mediating’ role of the middle class, and especially during the reflection that goes from the Lectures on Jurisprudence to the Wealth of Nations, and then feeds back into the subsequent rewritings of the Theory; 3) From the moment the «good government» appears, it becomes a descriptive and prescriptive idea of the social order. In the conclusions I will show how these hermeneutical hypotheses might have implications in the history of political, legal and economic thought. (shrink)

Manufacturing and industry practices are undergoing an unprecedented revolution as a consequence of the convergence of emerging technologies such as artificial intelligence, robotics, cloud computing, virtual and augmented reality, among others. This fourth industrial revolution is similarly changing the practices and capabilities of operators in their industrial environments. This paper introduces and explores the notion of the Operator 4.0 as well as how this novel way of conceptualizing the human operator necessarily implicates human values in the technologies that constitute it. (...) The design approach known as value sensitive design (VSD) is used to explore how these Operator 4.0 technologies can be designed for human values. Expert elicitation surveys were used to determine the values of industry stakeholders and examples of how the VSD methodology can be adopted by engineers in order to design for these values is illustrated. The results provide preliminary adoption strategies that industrial teams can take to Operator 4.0 technology for human values. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

In this paper, I would like to show how the movements of never stable meanings that link biography and religion are figured and interwoven throughout a kind of ineffable literary and philosophical notion of religion. Religion is a notion that can be understood through a cluster of topics such as origin, promise, dissociation, the unconditional, forgiveness, the undeconstructable and the possibility of the impossible—terms and expressions that Derrida suggests describe God.

On an influential line of thinking tracing back to Ramsey, conditionals are closely linked to the attitude of supposition. When applied to counterfactuals, this view suggests a subjunctive version of the so-called Ramsey test: the probability of a counterfactual If A, would B ought to be equivalent to the probability of B, under the subjunctive supposition that A. I present a collapse result for any view that endorses the subjunctive version of the Ramsey test. Starting from plausible assumptions, the result (...) shows that one’s rational credence in a would-counterfactual and in the corresponding might-counterfactual have to be identical. (shrink)

We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. In (...) the following three sections, we raise three difficulties for it, (i) an objection from intuitions: Floridi’s view is not supported by the intuitions embedded in the scientific views he exploits (Sect. 4); (ii) an objection from mereology: the view is incompatible with the world’s having parts (Sect. 5); (iii) an objection from counting: the view entails that the question of how many things there are doesn’t make sense (Sect. 6). In Sect. 7, we outline two possible ways out for Floridi’s position. Such ways out involve tampering with the logical properties of identity, and this may be bothersome enough. Thus, Floridi’s modus ponens will be our (and most ontologists’) modus tollens. (shrink)

We find a simple counterfactual acceptable, it is argued, to the extent that (i) our probability of the consequent under the thought experiment of counterfactually supposing the antecedent is high, (ii) provided the latter is on-topic with respect to the former. Counterfactual supposition is represented by Lewisian imaging. Topicality, by an algebra of subject matters. A topic-sensitive probabilistic logic is then provided, to reason about the acceptability of simple counterfactuals.

In his famous work on vagueness, Russell named “fallacy of verbalism” the fallacy that consists in mistaking the properties of words for the properties of things. In this paper, I examine two (clusters of) mainstream paraconsistent logical theories – the non-adjunctive and relevant approaches –, and show that, if they are given a strongly paraconsistent or dialetheic reading, the charge of committing the Russellian Fallacy can be raised against them in a sophisticated way, by appealing to the intuitive reading of (...) their underlying semantics. The meaning of “intuitive reading” is clarified by exploiting a well-established distinction between pure and applied semantics. If the proposed arguments go through, the dialetheist or strong paraconsistentist faces the following Dilemma: either she must withdraw her claim to have exhibited true contradictions in a metaphysically robust sense – therefore, inconsistent objects and/or states of affairs that make those contradictions true; or she has to give up realism on truth, and embrace some form of anti-realistic (idealistic, or broadly constructivist) metaphysics. Sticking to the second horn of the Dilemma, though, appears to be promising: it could lead to a collapse of the very distinction, commonly held in the literature, between a weak and a strong form of paraconsistency – and this could be a welcome result for a dialetheist. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

World semantics for relevant logics include so-called non-normal or impossible worlds providing model-theoretic counterexamples to such irrelevant entailments as (A ∧ ¬A) → B, A → (B∨¬B), or A → (B → B). Some well-known views interpret non-normal worlds as information states. If so, they can plausibly model our ability of conceiving or representing logical impossibilities. The phenomenon is explored by combining a formal setting with philosophical discussion. I take Priest’s basic relevant logic N4 and extend it, on the syntactic (...) side, with a representation operator, (R), and on the semantic side, with particularly anarchic non-normal worlds. This combination easily invalidates unwelcome “logical omniscience” in- ferences of standard epistemic logic, such as belief-consistency and closure under entailment. Some open questions are then raised on the best strategies to regiment (R) in order to express more vertebrate kinds of conceivability. (shrink)

Sentences \(\varphi\) and \(\psi\) are _cognitive synonyms_ for one when they play the same role in one’s cognitive life. The notion is pervasive (Sect. 1 ), but elusive: it is bound to be hyperintensional (Sect. 2 ), but excessive fine-graining would trivialize it and there are reasons for some coarse-graining (Sect. 2.1 ). Conceptual limitations stand in the way of a natural algebra (Sect. 2.2 ), and it should be sensitive to subject matters (Sect. 2.3 ). A cognitively adequate individuation (...) of content may be intransitive (Sect. 3 ) due to ‘dead parrot’ series: sequences of sentences \(\varphi _1, \ldots, \varphi _n\) where adjacent \(\varphi _i\) and \(\varphi _{i+1}\) are cognitive synonyms while \(\varphi _1\) and \(\varphi _n\) are not (Sect. 3.1 ). Finding an intransitive account is hard: Fregean equipollence won’t do (Sect. 3.2 ) and a result by Leitgeb shows that it wouldn’t satisfy a minimal compositionality principle (Sect. 3.3 )._Sed contra_, there are reasons for transitivity, too (Sect. 3.4 ). In Sect. 4, we come up with a formal semantics capturing this jumble of desiderata, thereby showing that the notion is coherent. In Sect. 5, we re-assess the desiderata in its light. (shrink)

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full-fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full-fledged objects. But whatever one takes "full-fledged object" to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive (...) to various philosophers. In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View . The Minimalist View may be summarized in the slogan: "Count x as an object iff it does not overlap with any y you have already counted as an object". The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all. We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting "conceptually salient" entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

Starting from the ‘Dewey Lectures’, Rawls presents his conception of justice within a contextualist framework, as an elaboration of the basic ideas embedded in the political culture of liberal-democratic societies. But how are these basic ideas to be justified? In this article, I reconstruct and criticize Rawls’s strategy to answer this question. I explore an alternative strategy, consisting of a genealogical argument of a pragmatic kind – the kind of argument provided by authors like Bernard Williams, Edward Craig and Miranda (...) Fricker. I outline this genealogical argument drawing on Rawls’s reconstruction of the origins of liberalism. Then, I clarify the conditions under which this kind of argument maintains vindicatory power. I claim that the argument satisfies these conditions and that pragmatic genealogy can thus partially vindicate the basic ideas of liberal-democratic societies. (shrink)

We reply to various arguments by Otavio Bueno and Edward Zalta (‘Object Theory and Modal Meinongianism’) against Modal Meinongianism, including that it presupposes, but cannot maintain, a unique denotation for names of fictional characters, and that it is not generalizable to higher-order objects. We individuate the crucial difference between Modal Meinongianism and Object Theory in the former’s resorting to an apparatus of worlds, possible and impossible, for the representational purposes for which the latter resorts to a distinction between two kinds (...) of predication, exemplification and encoding. We show that encoding has fewer forerunners in the history of philosophy than Bueno and Zalta want, and that there’s a reason why the notion has been found baffling by some. (shrink)

Speaker’s meaning is the act at the core of meaning shift, where meaning can be the very act or its output. What are its conditions, which intentions direct it? What’s its mechanics? I will give a first answer to the first question. Then, I will discuss the mechanics of speaker’s meaning, as well as meaningful links different from speaker’s meaning. This will bring me to surmise a second answer to the first question. Along the way, I will compare the act (...) of meaning with other acts. In closing, I will try a limited elucidation of the notion of intention, which I use throughout. On these issues there is the conspicuous tradition of studies, originating from the late Paul Grice, to confront us with. Rather naturally, I will move from it. But I am interested in the notion of speaker’s meaning and its place in an analysis of meaning, and not in that tradition as such. The notion of speaker’s meaning, I think, is relevant even for those who do not subscribe to a Gricean approach to meaning, as I don’t. (shrink)

In this paper, I argue that one approach to normative political theory, namely contextualism, can benefit from a specific kind of historical inquiry, namely genealogy, because the latter provides a solution to a deep-seated problem for the former. This problem consists in a lack of critical distance and originates from the justificatory role that contextualist approaches attribute to contextual facts. I compare two approaches to genealogical reconstruction, namely the historiographical method pioneered by Foucault and the hybrid method of pragmatic genealogy (...) as practiced by Bernard Williams, arguing that they both ensure an increase in critical distance while preserving contextualism’s distinctiveness. I also show, however, that only the latter provides normative action-guidance and can thus assist the contextualist theorist in the crucial task of discerning how far certain contextual facts deserve their justificatory role. I prove this point by showing how a pragmatic genealogy of the practice of punishment can inform the contextualist’s reflection about the role this practice should play in a transitional scenario, i.e. in the set of circumstances societies go through in the aftermath of large-scale violence and human rights violations. (shrink)

Objective correlates—behavioral, functional, and neural—provide essential tools for the scientific study of consciousness. But reliance on these correlates should not lead to the ‘fallacy of misplaced objectivity’: the assumption that only objective properties should and can be accounted for objectively through science. Instead, what needs to be explained scientifically is what experience is intrinsically— its subjective properties—not just what we can do with it extrinsically. And it must be explained; otherwise the way experience feels would turn out to be magical (...) rather than physical. We argue that it is possible to account for subjective properties objectively once we move beyond cognitive functions and realize what experience is and how it is structured. Drawing on integrated information theory, we show how an objective science of the subjective can account, in strictly physical terms, for both the essential properties of every experience and the specific properties that make particular experiences feel the way they do. (shrink)

Is there a notion of contradiction—let us call it, for dramatic effect, “absolute”—making all contradictions, so understood, unacceptable also for dialetheists? It is argued in this paper that there is, and that spelling it out brings some theoretical benefits. First it gives us a foothold on undisputed ground in the methodologically difficult debate on dialetheism. Second, we can use it to express, without begging questions, the disagreement between dialetheists and their rivals on the nature of truth. Third, dialetheism has an (...) operator allowing it, against the opinion of many critics, to rule things out and manifest disagreement: for unlike other proposed exclusion-expressing-devices (for instance, the entailment of triviality), the operator used to formulate the notion of absolute contradiction appears to be immune both from crippling expressive limitations and from revenge paradoxes—pending a rigorous nontriviality proof for a formal dialetheic theory including it. (shrink)

In this paper, we take a meta-theoretical stance and aim to compare and assess two conceptual frameworks that endeavor to explain phenomenal experience. In particular, we compare Feinberg & Mallatt’s Neurobiological Naturalism (NN) and Tononi’s and colleagues' Integrated Information Theory (IIT), given that the former pointed out some similarities between the two theories (Feinberg & Mallatt 2016c-d). To probe their similarity, we first give a general introduction to both frameworks. Next, we expound a ground plan for carrying out our analysis. (...) We move on to articulate a philosophical profile of NN and IIT, addressing their ontological commitments and epistemological foundations. Finally, we compare the two point-by-point, also discussing how they stand on the issue of artificial consciousness. (shrink)

'Ontology and Metaontology: A Contemporary Guide' is a clear and accessible survey of ontology, focussing on the most recent trends in the discipline. -/- Divided into parts, the first half characterizes metaontology: the discourse on the methodology of ontological inquiry, covering the main concepts, tools, and methods of the discipline, exploring the notions of being and existence, ontological commitment, paraphrase strategies, fictionalist strategies, and other metaontological questions. The second half considers a series of case studies, introducing and familiarizing the reader (...) with concrete examples of the latest research in the field. The basic sub-fields of ontology are covered here via an accessible and captivating exposition: events, properties, universals, abstract objects, possible worlds, material beings, mereology, fictional objects. -/- The guide's modular structure allows for a flexible approach to the subject, making it suitable for both undergraduates and postgraduates looking to better understand and apply the exciting developments and debates taking place in ontology today. (shrink)

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...) results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

The paper examines Posterior Analytics II 11, 94a20-36 and makes three points. (1) The confusing formula ‘given what things, is it necessary for this to be’ [τίνων ὄντων ἀνάγκη τοῦτ᾿ εἶναι] at a21-22 introduces material cause, not syllogistic necessity. (2) When biological material necessitation is the only causal factor, Aristotle is reluctant to formalize it in syllogistic terms, and this helps to explain why, in II 11, he turns to geometry in order to illustrate a kind of material cause that (...) can be expressed as the middle term of an explanatory syllogism. (3) If geometrical proof is viewed as a complex construction built on simpler constructions, it can in effect be described as a case of purely material constitution. (shrink)

This introduction explains the reasons behind this Special issue and discuss the organization and content of it. The difficulty of a genuine dialogue and understanding between economics, law and humanities, seems to be due not only to the fragmentation of reflections on man, but to a real ‘conflict of anthropologies’. What kind of conceptions of man and human values are presupposed by and / or privileged by economics, law, economic approaches to law and social sciences? How and when do these (...) conceptions come into conflict within and between disciplines? How do these conceptions of man and his values influence the conceptions of economics, law and institutions, and vice versa, how do these last conceptions influence the former? What are the normative, regulatory and practical implications of assuming an anthropological and / or axiological perspective instead of another? This Special issue aims at exploring the possibility of finding a common ground for discussion between economics, law and humanities, through the analysis and comparison of both the conceptions of man, human action and values assumed by economics, law and humanities, and their normative implications. The contributions to this Special issue and its organization are outlined at the end of this introduction. (shrink)

In the creation of maps, scientific knowledge related to mathematics and physics combines with knowledge specific to graphic or artistic disciplines. Since all maps are artifacts whose aesthetic qualities convey information that simultaneously engages the fields of ontology, epistemology, and politics, they are objects of undeniable interest for philosophical inquiry. This introduction to the 5th issue of the Journal for the Philosophy of Language, Mind, and the Arts reviews the latest literature and key topics surrounding the relationship between philosophy, cartography (...) and mapmaking. (shrink)

Many recent theories of epistemic discourse exploit an informational notion of consequence, i.e. a notion that defines entailment as preservation of support by an information state. This paper investigates how informational consequence fits with probabilistic reasoning. I raise two problems. First, all informational inferences that are not also classical inferences are, intuitively, probabilistically invalid. Second, all these inferences can be exploited, in a systematic way, to generate triviality results. The informational theorist is left with two options, both of them radical: (...) they can either deny that epistemic modal claims have probability at all, or they can move to a nonstandard probability theory. (shrink)